Математическая Логика И Теория Алгоритмов 4. Ординалы